Kordon, Fabrice : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres
Articles (85)
Les plus populaires
Liste
- Liste
- Tableau

1

[Lecture Notes in Computer Science] Challenges and Opportunity with Big Data Volume 10228 || Multi-source Information Intelligent Collection and Monitoring of CNC Machine Tools Based on Multi-agent

Zhang, Lin, Ren, Lei, Kordon, Fabrice

Année:

2017

Langue:

english

Fichier:

PDF, 1.94 MB

english, 2017

2

[Lecture Notes in Computer Science] Challenges and Opportunity with Big Data Volume 10228 || MyTrace: A Mobile Phone-Based Tourist Spatial-Temporal Behavior Record and Analysis System

Zhang, Lin, Ren, Lei, Kordon, Fabrice

Année:

2017

Langue:

english

Fichier:

PDF, 1.12 MB

english, 2017

3

Design, implementation and verification of MILS systems

Julien Delange, Laurent Pautet, Fabrice Kordon

Journal:

Software: Practice and Experience

Année:

2012

Langue:

english

Fichier:

PDF, 1.75 MB

english, 2012

4

[IEEE 2012 Second International Workshop on Advanced Information Systems for Enterprises (IWAISE) - Constantine, Algeria (2012.11.10-2012.11.12)] 2012 Second International Workshop on Advanced Information Systems for Enterprises - Tutorial 1: Modeling and Verifying Distributed Systems with Petri Nets

Baarir, Souheib, Kordon, Fabrice

Année:

2012

Langue:

english

Fichier:

PDF, 110 KB

english, 2012

5

[IEEE 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Orlando, FL, USA (2008.05.5-2008.05.7)] 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) - Design Methodologies for Embedded Systems: Where is the Super-Glue?

Kordon, Fabrice

Année:

2008

Langue:

english

Fichier:

PDF, 104 KB

english, 2008

6

Formal Methods for Embedded Distributed Systems ||

Kordon, Fabrice, Lemoine, Michel

Année:

2004

Langue:

english

Fichier:

PDF, 2.12 MB

english, 2004

7

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 9698 || Anti-alignments in Conformance Checking – The Dark Side of Process Models

Kordon, Fabrice, Moldt, Daniel

Année:

2016

Langue:

english

Fichier:

PDF, 1.08 MB

english, 2016

8

Embedded Systems (Kordon/Embedded Systems) || Case Study Modeling Using MARTE

Kordon, Fabrice, Hugues, Jérôme, Canals, Agusti, Dohet, Alain

Année:

2013

Langue:

english

Fichier:

PDF, 1.17 MB

english, 2013

9

Embedded Systems (Kordon/Embedded Systems) || Modeling of the Case Study Using SysML

Kordon, Fabrice, Hugues, Jérôme, Canals, Agusti, Dohet, Alain

Année:

2013

Langue:

english

Fichier:

PDF, 2.11 MB

english, 2013

10

[Lecture Notes in Computer Science] Challenges and Opportunity with Big Data Volume 10228 || Research on the Shortest Path of Two Places in Urban Based on Improved Ant Colony Algorithm

Zhang, Lin, Ren, Lei, Kordon, Fabrice

Année:

2017

Langue:

english

Fichier:

PDF, 308 KB

english, 2017

11

Embedded Systems (Kordon/Embedded Systems) || Presentation of SysML Concepts

Kordon, Fabrice, Hugues, Jérôme, Canals, Agusti, Dohet, Alain

Année:

2013

Langue:

english

Fichier:

PDF, 914 KB

english, 2013

12

Rapid system prototyping

Linda M Wills, Fabrice Kordon, Luqi

Journal:

Journal of Systems and Software

Année:

2004

Langue:

english

Fichier:

PDF, 224 KB

english, 2004

13

Exploiting colored Petri nets to decide on permutation admissibility

Rza Bashirov, Fabrice Kordon, Hüseyin Lort

Journal:

Acta Informatica

Année:

2009

Langue:

english

Fichier:

PDF, 336 KB

english, 2009

14

On the Formal Verification of Middleware Behavioral Properties

Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Soheib Baarir, Fabrice Kordon

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 477 KB

english, 2005

15

Guest Editorial

Klaus D. Muller-Glaser, Fabrice Kordon, Alexander Burst

Journal:

Design Automation for Embedded Systems

Année:

2000

Langue:

english

Fichier:

PDF, 8 KB

english, 2000

16

Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems

Mathieu Jan, Christophe Jouvray, Fabrice Kordon, Antonio Kung, Jimmy Lalande, Frédéric Loiret, Juan Navas, Laurent Pautet, Jacques Pulou, Ansgar Radermacher, Lionel Seinturier

Journal:

Software: Practice and Experience

Année:

2012

Langue:

english

Fichier:

PDF, 4.55 MB

english, 2012

17

Guest Editor's Introduction: Rapid System Prototyping

Kordon, Fabrice

Journal:

IEEE Distributed Systems Online

Année:

2007

Langue:

english

Fichier:

PDF, 92 KB

english, 2007

18

Guest Editor's Introduction: Rapid System Prototyping

Kordon, Fabrice

Journal:

IEEE Distributed Systems Online

Année:

2007

Langue:

english

Fichier:

PDF, 66 KB

english, 2007

19

From the prototype to the final embedded system using the Ocarina AADL tool suite

Get, Jerome Hugues, Get, Bechir Zalila, Get, Laurent Pautet, Kordon, Fabrice

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2008

Langue:

english

Fichier:

PDF, 517 KB

english, 2008

20

Distributed Systems (Design and Algorithms) || Introduction

Haddad, Serge, Kordon, Fabrice, Pautet, Laurent, Petrucci, Laure

Année:

2013

Langue:

english

Fichier:

PDF, 110 KB

english, 2013

21

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2009 Volume 5570 || Formal Verification of AADL Specifications in the Topcased Environment

Kordon, Fabrice, Kermarrec, Yvon

Année:

2009

Langue:

english

Fichier:

PDF, 274 KB

english, 2009

22

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2009 Volume 5570 || Modeling AADL Data Communication with BIP

Kordon, Fabrice, Kermarrec, Yvon

Année:

2009

Langue:

english

Fichier:

PDF, 344 KB

english, 2009

23

[ACM Press the ACM SIGAda annual international conference - Saint Petersburg, Florida, USA (2009.11.01-2009.11.05)] Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 - Validate, simulate, and implement ARINC653 systems using the AADL

Delange, Julien, Pautet, Laurent, Plantec, Alain, Kerboeuf, Mickael, Singhoff, Frank, Kordon, Fabrice

Année:

2009

Langue:

english

Fichier:

PDF, 683 KB

english, 2009

24

[Lecture Notes in Computer Science] Composition of Embedded Systems. Scientific and Industrial Issues Volume 4888 || Industrial Challenges in the Composition of Embedded Systems

Kordon, Fabrice, Sokolsky, Oleg

Année:

2008

Langue:

english

Fichier:

PDF, 4.97 MB

english, 2008

25

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - CosyVerif: An Open Source Extensible Verification Environment

Andre, Etienne, Lembachar, Yousra, Petrucci, Laure, Hulin-Hubard, Francis, Linard, Alban, Hillah, Lom, Kordon, Fabrice

Année:

2013

Langue:

english

Fichier:

PDF, 378 KB

english, 2013

26

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - polyDD: Towards a Framework Generalizing Decision Diagrams

Linard, Alban, Paviot-Adet, Emmanuel, Kordon, Fabrice, Buchs, Didier, Charron, Samuel

Année:

2010

Langue:

english

Fichier:

PDF, 353 KB

english, 2010

27

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Collision avoidance in Intelligent Transport Systems: towards an application of control theory

Berard, Beatrice, Haddad, Serge, Messan Hillah, Lom, Kordon, Fabrice, Thierry-Mieg, Yann

Année:

2008

Langue:

english

Fichier:

PDF, 195 KB

english, 2008

28

[IEEE 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Santorini Island, Greece (2007.05.7-2007.05.9)] 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) - Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems

Kordon, Fabrice

Année:

2007

Langue:

english

Fichier:

PDF, 201 KB

english, 2007

29

[IEEE 2010 13th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2010) - Carmona, Seville (2010.05.5-2010.05.6)] 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems

Lasnier, Gilles, Robert, Thomas, Pautet, Laurent, Kordon, Fabrice

Année:

2010

Langue:

english

Fichier:

PDF, 185 KB

english, 2010

30

[IEEE 18th IEEE/IFIP International Workshop on Rapid System Prototyping - Porto alegre, Brazil (2007.05.28-2007.05.30)] 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07) - Rapid Prototyping of Intrusion Detection Systems

Kordon, Fabrice, Voron, Jean-Baptiste

Année:

2007

Langue:

english

Fichier:

PDF, 356 KB

english, 2007

31

[IEEE 2012 12th International Conference on Application of Concurrency to System Design (ACSD) - Hamburg, TBD, Germany (2012.06.27-2012.06.29)] 2012 12th International Conference on Application of Concurrency to System Design - State Space Analysis Using Symmetries on Decision Diagrams

Colange, Maximilien, Kordon, Fabrice, Thierry-Mieg, Yann, Baarir, Souheib

Année:

2012

Langue:

english

Fichier:

PDF, 271 KB

english, 2012

32

[Lecture Notes in Computer Science] Reliable Systems on Unreliable Networked Platforms Volume 4322 || Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems

Kordon, Fabrice, Sztipanovits, Janos

Année:

2007

Langue:

english

Fichier:

PDF, 856 KB

english, 2007

33

[IEEE 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) - Melbourne, Australia (2013.07.16-2013.07.18)] 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications - A Scalable Architecture for Highly Reliable Certification

Bonnaire, Xavier, Cortes, Rudyar, Kordon, Fabrice, Marin, Olivier

Année:

2013

Langue:

english

Fichier:

PDF, 298 KB

english, 2013

34

[IEEE 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Tokyo, Japan (2009.03.17-2009.03.20)] 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - From AADL Architectural Models to Petri Nets: Checking Model Viability

Renault, Xavier, Kordon, Fabrice, Hugues, Jérôme

Année:

2009

Langue:

english

Fichier:

PDF, 392 KB

english, 2009

35

[IEEE 2010 2nd IEEE International Conference on Information Management and Engineering - Chengdu, China (2010.04.16-2010.04.18)] 2010 2nd IEEE International Conference on Information Management and Engineering - A Petri Net based runtime monitoring method for Web services specified with BPEL

Zhu, Jim, Kordon, Fabrice

Année:

2010

Langue:

english

Fichier:

PDF, 589 KB

english, 2010

36

[IEEE 2009 American Control Conference - St. Louis, MO, USA (2009.06.10-2009.06.12)] 2009 American Control Conference - Efficient state-based analysis by introducing bags in Petri nets color domains

Haddad, Serge, Kordon, Fabrice, Petrucci, Laure, Pradat-Peyre, Jean-Francois, Treves, Leolas

Année:

2009

Langue:

english

Fichier:

PDF, 3.53 MB

english, 2009

37

[IEEE 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Tokyo, Japan (2009.03.17-2009.03.20)] 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - Model Driven Engineering versus Organic Computing, Two Complementary Approaches

Kordon, Fabrice

Année:

2009

Langue:

english

Fichier:

PDF, 97 KB

english, 2009

38

[IEEE 2014 25th EAEEIE Annual Conference (EAEEIE) - Cesme, Izmir, Turkey (2014.5.30-2014.6.1)] 2014 25th EAEEIE Annual Conference (EAEEIE) - Teaching formal methods: Experience at UPMC and UP13 with CosyVerif

Andre, Etienne, Petrucci, Laure, Kordon, Fabrice

Année:

2014

Langue:

english

Fichier:

PDF, 617 KB

english, 2014

39

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach

Voron, Jean-Baptiste, Démoulins, Clément, Kordon, Fabrice

Année:

2010

Langue:

english

Fichier:

PDF, 498 KB

english, 2010

40

[IEEE 18th IEEE/IFIP International Workshop on Rapid System Prototyping - Porto alegre, Brazil (2007.05.28-2007.05.30)] 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07) - Rapid Prototyping of Intrusion Detection Systems

Kordon, Fabrice, Voron, Jean-Baptiste, Iftode, Liviu

Année:

2007

Langue:

english

Fichier:

PDF, 362 KB

english, 2007

41

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - IibDMC: a Library to Operate Efficient Distributed Model Checking

Hamez, Alexandre, Kordon, Fabrice, Thierry-Mieg, Yann

Année:

2007

Langue:

english

Fichier:

PDF, 8.49 MB

english, 2007

42

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - The MIDAS Cloud Platform for Testing SOA Applications

Herbold, Steffen, De Francesco, Alberto, Grabowski, Jens, Harms, Patrick, Hillah, Lom M., Kordon, Fabrice, Maesano, Ariele-Paolo, Maesano, Libero, Di Napoli, Claudia, De Rosa, Fabio, Schneider, Martin

Année:

2015

Langue:

english

Fichier:

PDF, 620 KB

english, 2015

43

[Lecture Notes in Computer Science] Composition of Embedded Systems. Scientific and Industrial Issues Volume 4888 || From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain

Kordon, Fabrice, Sokolsky, Oleg

Année:

2008

Langue:

english

Fichier:

PDF, 182 KB

english, 2008

44

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2009 Volume 5570 || Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005

Kordon, Fabrice, Kermarrec, Yvon

Année:

2009

Langue:

english

Fichier:

PDF, 281 KB

english, 2009

45

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2008 Volume 5026 || Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives

Kordon, Fabrice, Vardanega, Tullio

Année:

2008

Langue:

english

Fichier:

PDF, 253 KB

english, 2008

46

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2009 Volume 5570 ||

Kordon, Fabrice, Kermarrec, Yvon

Année:

2009

Langue:

english

Fichier:

PDF, 7.88 MB

english, 2009

47

[Lecture Notes in Computer Science] Reliable Software Technologies – Ada-Europe 2009 Volume 5570 || Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications

Kordon, Fabrice, Kermarrec, Yvon

Année:

2009

Langue:

english

Fichier:

PDF, 584 KB

english, 2009

48

[IEEE 2014 14th International Conference on Application of Concurrency to System Design - Tunis La Marsa, Tunisia (2014.6.23-2014.6.27)] 2014 14th International Conference on Application of Concurrency to System Design - BenchKit, a Tool for Massive Concurrent Benchmarking

Kordon, Fabrice, Hulin-Hubard, Francis

Année:

2014

Langue:

english

Fichier:

PDF, 181 KB

english, 2014

49

Formal Methods for Embedded Distributed Systems || Formal Specifcation and Refinement of a Safe Train Control Function

Kordon, Fabrice, Lemoine, Michel

Année:

2004

Langue:

english

Fichier:

PDF, 274 KB

english, 2004

50

An approach for developing an interoperability mechanism between cloud providers

Thabet, Meriem, Boufaida, Mahmoud, Kordon, Fabrice

Journal:

International Journal of Space-Based and Situated Computing

Année:

2014

Langue:

english

Fichier:

PDF, 443 KB

english, 2014